Invariant verification
Synonyms for "invariant verification" (11 found)
Ranked by relevance and common usage.
Closest matches (3)
Noun(3 words)
condition verificationconservation checkinvariance check
Strong matches (3)
Noun(3 words)
Related words (5)
Noun(5 words)
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
7 entriesMore specific
13 entriesabstract interpretationconservation lawconserved quantityinvariance propertyinvariance theoremloop invariant verificationmodel checkingruntime verificationstate invariant verificationsymbolic executionsymmetry constrainttemporal invariant verificationtheorem proving
Collocations
7 entriesautomated invariant verificationformal invariant verificationinvariant verification methodinvariant verification processinvariant verification toolmodel checkingruntime invariant verification
Inflections
3 entriesinvariant verificationsmore invariantmost invariant